//格式化输入输出
#include<stdio.h>
int main(int argc,const char* argv[]){
    int num4;
    int num2;
    int i;
    int len=6;
   // printf("%*d\n",len,123);
   // printf("%9.2f\n",123.0);
   // printf("%hhd\n",(char)12345);
   // printf("%dty%n\n",12345,&num4);
   // printf("%d\n",num4);
    scanf("%*d%d",&num2);
    printf("%d\n",num2);
   // scanf("%i",&i);
   // printf("%d\n",i);
    int num3;
    int i1=scanf("%i",&num3);
    int i2=printf("%d\n",num3);
    printf("%d:%d\n",i1,i2);
    return 0;

}